Portable Identity OVERVIEW Portable Identity is the right and responsibility of each of us to create, control, and carry the important pieces of information that define who we are in a private, secure, and trusted manner

Source URL: www.globalid.net

• Identity management
• Computer access control
• Identity
• Identity document
• Namespace

Central Control Over Distributed Routing http://fibbing.net Stefano Vissicchio∗, Olivier Tilmans∗, Laurent Vanbever†, Jennifer Rexford‡ ∗ ∗

Source URL: inl.info.ucl.ac.be

• Computing
• Network architecture
• Routing protocols
• Internet architecture
• Data transmission
• Internet Standards
• Internet protocols
• Routing algorithms
• Routing
• Link-state routing protocol
• IS-IS
• Open Shortest Path First

Central Control Over Distributed Routing (Extended Version) http://fibbing.net Stefano Vissicchio∗, Olivier Tilmans∗, Laurent Vanbever†, Jennifer Rexford‡ ∗ ∗

Source URL: inl.info.ucl.ac.be

• Computing
• Network architecture
• Routing protocols
• Data transmission
• Internet architecture
• Internet Standards
• Internet protocols
• Routing
• Open Shortest Path First
• IS-IS
• Link-state routing protocol
• Computer network

CLINICAL NEUTRON THERAPY SYSTEM Control System Specication PART I: System Overview and Hardware Organization

Source URL: staff.washington.edu

• Physics
• Accelerator physics
• Experimental physics
• Health
• Medical physics
• Radiation therapy
• Fast neutron therapy
• Neutron
• Beamline
• Cyclotron
• Interlock
• Therapy

Validating SGAC Access Control Policies with Alloy and ProB Nghi Huynh, Marc Frappier, Amel Mammar and R´egine Laleau FA 2018, April 30th

Source URL: alloytools.org

• Theoretical computer science
• Formal methods
• Formal verification
• Logic in computer science
• Frappier
• Electronic engineering

Automated Generation of Requirements-based Test Cases for an Adaptive Cruise Control System Adina Aniculaesei Falk Howar

Source URL: www.falkhowar.de

• Software testing
• Software engineering
• Test suite
• Test case
• Code coverage
• Test automation
• Software requirements
• NuSMV
• Requirement
• Reliability engineering

RADICAL ROUTES Grassroots Control and Social Change How to set up a Housing Co-operative: Step-by-Step 1. Form a Group It all begins with a group of keen and eager people. Usually you’ll have something in common, bindi

Source URL: www.radicalroutes.org.uk

• Business models
• Social programs
• Market socialism
• Housing cooperative
• Real estate
• Cooperative
• The Co-operative Group
• Economy
• Consumers' co-operative
• Radical Routes
• Co-op Food
• The Co-operative brand

Proceedings of the 13th USENIX Symposium on Networked Systems Design and Implementation (NSDI ’16) Errata Slip In the paper “Be Fast, Cheap and in Control with SwitchKV” by Xiaozhou Li and Raghav Sethi, Princeton

Source URL: www.usenix.org

Control-data plane intelligence trade-off in SDN Yash Sinha, Siddharth Bhatia Birla Institute of Technology and Science, Pilani, India Abstract— With the decoupling of network control and data

Source URL: www.ieee-security.org

• Computing
• Network architecture
• Emerging technologies
• Information and communications technology
• Configuration management
• Software-defined networking
• Ethernet
• OpenFlow
• Computer architecture
• Access control
• Computer network
• Network interface controller

EDGE COMPUTING FOR THE INTERNET OF THINGS Joint Admission Control and Resource Allocation in Edge Computing for Internet of Things Shichao Li, Ning Zhang, Siyu Lin, Linghe Kong, Ajay Katangur, Muhammad Khurram Khan, Min

Source URL: wirelesslab.sjtu.edu.cn

• Ambient intelligence
• Network performance
• Internet of things
• Computing
• Technology
• Information and communications technology
• Distributed computing architecture
• Networking hardware
• Fog computing
• Quality of service
• Edge computing
• Wireless sensor network